TOPOLOGY SELF-MODIFICATION AND DEPLOYMENT OF OBJECTS IN VIRTUALIZED DATA STORAGE AND PROCESSING NETWORKS (II. OPERATIONAL SEMANTICS AND ACTUATORS)

Volchikhin Vladimir Ivanovich, Doctor of engineering sciences, professor, President of Penza State University (40 Krasnaya street, Penza, Russia), rectorat@pnzgu.ru
Zinkin Sergey Aleksandrovich, Doctor of engineering sciences, professor, sub-department of computer engineering, Penza State University (40 Krasnaya street, Penza, Russia), zsa49@yandex.ru

681.324

Background. The research object is the data storage and processing networks with distributed architecture, where the data to be transferred are processed by mobile agents. The research subject is the operational semantics and actuators of deployment of data processing means (mobile agents) and the transferred data themselves in a computer network. The aim of the work is to develop a new approach to virtualization of resources in such conditions when program modules and information objects are capable of moving in a network creating improved conditions for self-execution and processing, as well as for execution of nearby processes. Essentially, the said improvement should take place due to natural paralleling of data processing processes.
Materials and methods. Research and formalization of mobile objects’ deployment are based on introduction of the modified and extended list of preferred spatial operation to be realized in distributed systems of data storage and processing (deployment-operations, or d-operations).
Results. The authors determined an abstract and a concrete mechanism of content deployment, as well as established the rules allowing to parallelize data processing processes in a distributed operational medium. The suggested approach can be used in designing virtualized data storage and processing systems, particularly, cloud media, grid-systems and data processing systems on the basis of selforganizing wireless networks.
Conclusions. The authors suggested realization principles for methods and means of designing distributed data storage and processing systems, based on the use of directly executable formal specifications and providing formation of scalable systems with automatic processes of structure reconfiguration and migration of data. The said specifications adequately describe the processes of management of access roots to resources, search and sorting of data, coping and replication of data.

data storage, data processing, formal representations of distributed processes, logical-algebraic approach, networks of abstract machines, temporal operations, deployment operations.

1. Volchikhin V. I., Zinkin S. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Tekhnicheskie nauki [University proceedings. Volga region. Engineering sciences]. 2014, no. 3 (31), pp. 54–69.
2. Yushchenko E. L., Tseytlin G. E., Gritsay V. P., Terzyan T. K. Mnogourovnevoe strukturnoe proektirovanie programm. Teoreticheskie osnovy, instrumentariy [Multilevel structural software engineering. Theoretical base, instruments]. Moscow: Finansy i statistika, 1989, 208 p.
3. Zinkin S. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Tekhnicheskie nauki [University proceedings. Volga region. Engineering sciences]. 2008, no. 1 (5), pp. 14–24.